-
sité dédié à la méthode b. la méthode b évoque traditionnellement l'ensemble comprenant : le langage b, le raffinement, la preuve, et les outils associ ...
logiciel prouvé  methode-b methode formelle methode formelle b modèle abstrait système prouvé
www.methode-b.com - 2009-02-11
-
Présentation de l'Atelier b, atelier de génie logiciel permettant de développer des logiciels prouvés sans défaut.
www.atelierb.eu - 2009-03-09
|
méthode formelle
langage b
machine abstraite
méthode b
atelier b
|
|
